TestGenĀ®
TestGen provides assistance in all phases of the software lifecycle. The Design Review Expert Assistant tool prepares a software design review for each unit. It finds every possible set of design conditions and shows the users the expected result for each set of conditions.
The Unit Test Strategy Generator prepares a preliminary test procedure for each unit using the following techniques:
Complete path testing
Total branch coverage testing
Structured testing
The Test Coverage Analyzer, by "instrumenting" the Ada code, will report on the extent of test coverage, including checking if all of the statements were executed.
Thomas Radi
President